Defining and Parsing Visual Languages with Layered Graph Grammars
نویسندگان
چکیده
Sentences of Visual Languages (VLs) may often be regarded as assemblies of pictorial objects with spatial relationships like “above” or “contains” between them, i.e. their representations are a kind of directed graphs. Such a spatial relationship graph is often complemented by a more abstract graph, which provides information about the syntax (and the semantics) of the visual sentence in a more succinct form. As both representations are graphs, graph grammars are a natural means for defining the concrete and the abstract syntax of VLs. They can be used to generate syntax directed VL editors, which support “free editing” and parsing of their underlying graph structures. Unfortunately, all efficiently working graph grammar parsing algorithms deal with restricted classes of context-free graph grammars only, while more general classes of graph grammars are necessary for defining many VLs. This motivated us to develop the notion of layered context-sensitive graph grammars, together with a bottom-up/top-down parsing algorithm.
منابع مشابه
Pictures Depicting Pictures: On the Specification of Visual Languages by Visual Grammars
Growing interest in visual languages has triggered new extended research into the specification and parsing of multi-dimensional structures. The paper discusses the need for a visual specification formalism and introduces such a technique by augmenting logic programming with picture terms which can be considered as partially specified pictures. We define how to match picture terms and how to in...
متن کاملImproving the graph grammar parser of Rekers and Schürr
Graph grammars and graph grammar parsers are to visual languages what string grammars and parsers are to textual languages. A graph grammar specifies a set of valid graphs and can thus be used to formalise the syntax of a visual language. A graph grammar parser is a tool for recognising valid programs in such a formally defined visual language. A parser for context-sensitive graph grammars, whi...
متن کاملVisual Modelling and Validation of Distributed Systems
Distributed system technologies are fast developing and the complexity of networked systems increases. For this reason the precise design of distributed systems is necessary, comprising all key aspects. The employment of formal methods is restricted to few aspects such as performance and correctness of distributed algorithms, while the investigation of consistency issues, as they arise e.g. whe...
متن کاملParsing with Pictures
The development of elegant and practical algorithms for parsing context-free languages is one of the major accomplishments of 20 century Computer Science. These algorithms are presented in the literature using string rewriting systems or abstract machines like pushdown automata, but the resulting descriptions are unsatisfactory for several reasons. First, even a basic understanding of parsing a...
متن کاملWeb Grammars
Classes of "phrase-structure grammars" are defined whose "languages" consist, not of strings of symbols, but of directed graphs with symbols at their vertices ("webs"). Examples of such "web grammars" are given, having languages consisting of trees, of two-terminal series-parallel networks, and of "triangular" networks. It is shown that if the graphs permitted in a "context-sensitive" web gramm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Vis. Lang. Comput.
دوره 8 شماره
صفحات -
تاریخ انتشار 1997